--{-# OPTIONS -fglasgow-exts #-}
module HplProducts.HephaestusTypes where

--import Data.Generics
import FeatureModel.Types
import HplAssets.Hephaestus.Types
 
data SPLModel = SPLModel {
  splHpl :: HephaestusModel
}
 
data InstanceModel = InstanceModel {
  featureConfiguration :: FeatureConfiguration,
  hpl :: HephaestusModel
} --deriving (Data, Typeable)
 
